Analysis of Energy-Efficient Buildings through Simulation and Formal Methods
نویسندگان
چکیده
Abstract. In the last few years, the increasing interest in energy saving has led to invest resources in many research fields, in order to develop new technologies to reduce energy consumption. One such field is energy management systems for buildings. The interactions between the system controlling the building and its environment are complicated by the fact that they involve important timing properties, which can be expressed through a variety of formalisms. This paper introduces a formal model, expressed in a temporal logic language, through which designers can evaluate the temporal behavior of buildings’ energy management systems. To this end, the formal model is analyzed through simulation, that is, through the generation of traces satisfying the temporal logic model.
منابع مشابه
Architectural Design Optimization of School Buildings for Reduction of Energy Demand in Hot & Dry Climates of Iran
School buildings as a major part of public buildings are considered as one of the basic consumers of energy in Iran. Based on building typology and occupancy patterns, school buildings have a great potentiality for energy optimization while providing thermal comfort. This study investigates the architectural design parameters such as orientation, optimum window to wall ratio, space organization...
متن کاملتحلیل کارایی انرژی در مدلهای بافت شهری اقلیم گرم و خشک، نمونۀ موردی: شهر اصفهان
Among the most important factors affecting energy consumption in the building sector are social and economic conditions, the culture of energy consumption, geographical and climatic characteristics of a city, the role of a city, efficiency of energy supply and consumption systems, and physical/spatial parameters of buildings and residential fabrics. Addressing urban form through planning ...
متن کاملNet zero energy buildings in semi-arid climates: An analysis on 3 case studies in Tehran, Iran
This paper analyzes utilization of renewable energy systems and efficient building envelopes in the semi-arid climate. The proposed model evaluates renewable energy systems solutions as well as economic- and energy-efficient construction materials for the net zero-energy buildings (NZEB) in semi-arid climates. The objective of this paper is to optimize total energy cost and environmental impact...
متن کاملFinding the Best Orientation of the Educational Buildings in Hot Arid Regions in Iran, in order to Achieve the Optimum Annual Energy Consumption, Using Computer Simulation (Case Study: a Double Class School in Zahedan)
School buildings forming a large part of public buildings are among the most important consumers of energy in Iran. Given the existing construction conditions, these buildings seem to have considerable potential for energy efficiency if the construction and design methods are reformed. Therefore, numerous researchers have analyzed geometrical factors influencing energy consumption in buildings,...
متن کاملOptimizing Window Size and its Sunshade in Four Main Directions of Residential Buildings in Mild Climate by Integrating Thermal and Lighting Analysis
As part of sustainable architecture principles and practices, designers need to define building's architectural requirements based on climatic conditions, environmental preservation and reduction in energy consumption. The natural energy sources such as solar radiation affect thermal and lighting performances of buildings depending on its facade characteristics. Traditionally, buildings thermal...
متن کامل